Synthèse d'observateurs à partir d'exigences temporelles
نویسندگان
چکیده
Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La contribution de cet article réside dans la présentation d’algorithmes de génération d’observateurs à partir d’exigences temporelles exprimées dans ce langage. Ces observateurs sont destinés à guider la vérification formelle et en particulier à confronter le comportement des objets aux exigences temporelles tout en traçant ces dernières au long de la trajectoire de conception du système en cours d’étude. Un dispositif de charge d’une batterie de véhicule hybride sert d’étude de cas.
منابع مشابه
Apprentissage de scénarios à partir de séries temporelles multivariées
La construction automatique de scénarios à partir des signaux (séries temporelles) produits par les appareils de surveillance de patients en anesthésie réanimation est le premier pas vers l’élaboration de systèmes de monitoring intelligent. Mais dans ce contexte, les connaissances a priori ne sont pas suffisantes pour orienter efficacement un apprentissage à partir des données complexes que son...
متن کاملConstruction de descripteurs à partir du coclustering pour la classification supervisée de séries temporelles
Résumé. Nous présentons un processus de construction de descripteurs pour la classification supervisée de séries temporelles. Ce processus est libre de tout paramétrage utilisateur et se décompose en trois étapes : (i) à partir des données originales, nous générons de multiples nouvelles représentations simples ; (ii) sur chacune de ces représentations, nous appliquons un algorithme de cocluste...
متن کاملAnalyse des dynamiques spatio-temporelles à partir de séries temporelles dimages satellitaires
متن کامل
Composants avec Propriétés Temporelles
RÉSUMÉ. Cet article propose une approche pour le développement d’applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s’adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) conçoivent des composants logiciels pour ce type d’applications. A parti...
متن کاملLa fouille de graphes dans les bases de données réactionnelles au service de la synthèse en chimie organique
Résumé. La synthèse en chimie organique consiste à concevoir de nouvelles molécules à partir de réactifs et de réactions. Les experts de la synthèse s’appuient sur de très grandes bases de données de réactions qu’ils consultent à travers des procédures d’interrogation standard. Un processus de découverte de nouvelles réactions leur permettrait de mettre au point de nouveaux procédés de synthèse...
متن کامل